Regels zijn er in 2 typen: Beperkingsregels en Afleidingsregels.

Elke regel wordt uitgedrukt in Regelspraak. Indien binnen een model voor een regel geen Regelspraak gebruikt wordt, dient een equivalent in de vorm van pseudo-code te worden vastgelegd. Er vindt geen directe parsing van de Regelspraak-regel plaats; het regelspraak-voorschrift wordt als geheel opgenomen.

Merk op dat aan een Afleidingsregel ook inherent een Beperkingsregel gekoppeld zit: indien de populatie van een afleiding niet overeenkomt met de afleidingsregel, dan wordt de bijbehorende beperkingsregel geschonden.

Van elke Regel kan ook een logische beschrijving worden meegegeven.